Propositional Logic: The Complete Crash Course